Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
501	Preliminaries Problem representation Search systems Add to Reading List Source URL: www.atomki.hu Language: English - Date: 2015-04-29 02:58:54 Total order Finitary relation Graph Cartesian product Equivalence relation Transitive closure Mathematics Order theory Binary relation
502	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
503	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science
504	Math. Appl), 57–78 DOI: maON A TWO-POINT BOUNDARY VALUE PROBLEM FOR THIRD-ORDER LINEAR FUNCTIONAL DIFFERENTIAL EQUATIONS. PART I. Add to Reading List Source URL: ma.fme.vutbr.cz Language: English - Date: 2014-02-11 10:41:46 Splitting lemma Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Lemmas Mathematics Homological algebra
505	THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS ¨ STEFAN GOLLER AND MARKUS LOHREY Universit¨at Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-06-19 07:22:27 Formal languages Automata theory Tree decomposition Graph Tree Structure Rewriting Binary tree Matching Mathematics Graph theory Theoretical computer science
506	Capital Structure and Financing Choices: An Australian Study Klaus E. Buhr Department of Accounting and Finance, Unitec Institute of Technology, New Zealand Roy Cross Add to Reading List Source URL: www.nzfc.ac.nz Language: English - Date: 2012-02-15 19:39:59 Financial economics Capital structure Trade-off theory of capital structure Pecking order theory Pecking order Market timing hypothesis Bankruptcy costs of debt Corporate finance Economics Finance
507	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
508	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
509	Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-07-03 10:24:22 Proof theory Natural deduction Propositional calculus Sequent calculus Heyting algebra First-order logic Intuitionistic logic Cut-elimination theorem Function Logic Mathematical logic Mathematics
510	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 279 Lec 02/03 — “Logic I” Fall Term 2010 Course Outline Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:36:15 Education Predicate logic Semantics Logic in computer science Boolean algebra First-order logic Valuation Tutorial Homework Logic Mathematical logic Model theory

UPDATE